perm filename DICK[1,JRA] blob sn#005877 filedate 1972-10-27 generic text, type T, neo UTF8
00050	VAR: X,Y,Z,U,V;
00075	PRE_PRED: A,B;
00087	PRE_OP: ',0;
00093	INDUCT: 
00100	(A(0)∨B(0))∧∀X(A(X)∨B(X)⊃(A('(X))∨B('(X)))) ⊃∀Y(A(Y)∨B(Y));
00300	BASIS: A(0)∨B(0);
00400	STEP: A(X)∨B(X)⊃(A('(X))∨B('(X)));
00600	THEOREM: A(X)∨B(X);
00700	;